Finding All the Elementary Circuits of a Directed Graph
نویسنده
چکیده
An algorithm is presented which finds all the elementary circuits-of a directed graph in time bounded by O((n + e)(c + 1)) and space bounded by O(n + e), where there are n vertices, e edges and c elementary circuits in the graph. The algorithm resembles algorithms by Tiernan and Tarjan, but is faster because it considers each edge at most twice between any one circuit and the next in the output sequence. 1. Introduction. Broadly speaking, there are two enumeration problems on sets of objects. The one, which we call counting, is determining how many objects there are in the set. The other, which we call finding, is the construction of every object in the set exactly once. Indeed, objects may always be counted by finding them if a method to do so is at hand. But knowing the count is usually of little aid in finding the objects.
منابع مشابه
Matrix algorithm for determination of the elementary paths and elementary circuits using exotic semirings
Idempotent mathematics is based on replacing the usual arithmetic operations with a new set of basic operations, that is on replacing numerical fields by idempotent semirings. Exotic semirings such as the max-plus algebra Rmax or concatenation semiring P(Σ) have been introduced in connection with various fields: graph theory, Markov decision processes, language theory, discrete event systems th...
متن کاملDirected Motivational Currents: The Implementation of the Dynamic Web-Based Persian Scale among Iranian EFL Learners
Directed motivational current (DMC) ̶ as a novel strand in L2 motivational field ̶ is a robust motivational drive fueled by a highly valued goal and capable of stimulating and sustaining long-term behavior. The present study explored English as a foreign language students’ Directed Motivational Currents by validating the dynamic web-based Persian version of the scale, finding the most crucial mot...
متن کاملUniform Monte-Carlo Model Checking
Grosu and Smolka have proposed a randomised Monte-Carlo algorithm for LTL model-checking. Their method is based on random exploration of the intersection of the model and of the Büchi automaton that represents the property to be checked. The targets of this exploration are so-called lassos, i.e. elementary paths followed by elementary circuits. During this exploration outgoing transitions are c...
متن کاملDirected prime graph of non-commutative ring
Prime graph of a ring R is a graph whose vertex set is the whole set R any any two elements $x$ and $y$ of $R$ are adjacent in the graph if and only if $xRy = 0$ or $yRx = 0$. Prime graph of a ring is denoted by $PG(R)$. Directed prime graphs for non-commutative rings and connectivity in the graph are studied in the present paper. The diameter and girth of this graph are also studied in the pa...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- SIAM J. Comput.
دوره 4 شماره
صفحات -
تاریخ انتشار 1975